Section: Dissemination

Scientific Animation

Eric Badouel is the secretary of the steering committee of Cari , the African Conference on Research on Computer Science and Applied Mathematics. He took part in the programme committee and in the organizing committee of CARI 2012. He is a member of the editorial board of the ARIMA Journal.

Albert Benveniste is associated editor at large (AEAL) for the journal IEEE Trans. on Automatic Control. He is member of the Strategic Advisory Council of the Institute for Systems Research, Univ. of Maryland, College Park, USA. He belongs to the Scientific Advisory Board of Inria , where he is in charge of the area of Embedded Systems. (Only facts related to the activities of Team S4 are mentioned. Other roles or duties concern the DistribCom team, to which A. Benveniste also belongs.)

Benoît Caillaud has served in the steering and program committees of the International Conference on Application of Concurrency to System Design (ACSD 2012). He is serving on the Evaluation Committee of Inria .

Philippe Darondeau has served on the program committees of the 23rd International Conference on Concurrency Theory (CONCUR 2012) and 11th International Workshop on Discrete Event Systems (WODES 2012). He is a member of the IFIP Working Group WG2.2 and has served as secretery of this working group until September 2012.

Sophie Pinchinat is serving in the editorial board of the Journal on Discrete Event Dynamic Systems, Theory and Applications. She has served on the program committee of the 10th Conference on Logic and the Foundations of Game and Decision Theory (LOFT 2012).